how to read first n lines of a file - python